inductive family造句

例句与造句

1. An important class of inductive types are inductive families like the type of vectors \ operatorname { Vec } ( A, n ) mentioned above, which is inductively generated by the constructors \ operatorname { vnil } \ mathbin { : } \ operatorname { Vec } ( A, 0 ) and
2. Generalized algebraic data types were introduced independently by and prior by as extensions to inductive families of data types " ( or " inductive datatypes " ) found in Coq's Calculus of Inductive Constructions and other dependently typed languages, modulo the dependent types and except that the latter have an additional positivity restriction which is not enforced in GADTs.
3. It's difficult to find inductive family in a sentence. 用inductive family造句挺难的